J. F. A. K. Van Benthem (auth.): ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Games, Norms and Reasons: Logic at the Crossroads

Games, Norms and Reasons: Logic at the Crossroads

Springer Netherlands

Horacio Arló Costa, Arthur Paul Pedersen (auth.), Johan van Benthem, Amitabha Gupta, Eric Pacuit (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 4.49 MB

0 / 0

english, 2011

2

Aspects of Philosophical Logic: Some Logical Forays into Central Notions of Linguistics and Philosophy

Aspects of Philosophical Logic: Some Logical Forays into Central Notions of Linguistics and Philosophy

Springer Netherlands

J. F. A. K. Van Benthem (auth.), Uwe Mönnich (eds.)

ปี:

1981

ภาษา:

english

ไฟล์:

PDF, 5.65 MB

0 / 0

english, 1981

3

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 5.03 MB

0 / 0

english, 2000

4

Sintering: Mechanisms of Convention Nanodensification and Field Assisted Processes

Sintering: Mechanisms of Convention Nanodensification and Field Assisted Processes

Springer-Verlag Berlin Heidelberg

Ricardo H. R. Castro (auth.), Ricardo Castro, Klaus van Benthem (eds.)

ปี:

2013

ภาษา:

english

ไฟล์:

PDF, 5.80 MB

0 / 0

english, 2013

5

Essays in Logical Semantics

Essays in Logical Semantics

Springer Netherlands

Johan Van Benthem (auth.)

ปี:

1986

ภาษา:

english

ไฟล์:

PDF, 3.59 MB

0 / 0

english, 1986

6

Advances in Intensional Logic

Advances in Intensional Logic

Springer Netherlands

Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

PDF, 7.72 MB

5.0 / 0

english, 1997

7

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

Springer Netherlands

John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 8.67 MB

0 / 0

english, 2011

8

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

PDF, 12.40 MB

0 / 0

english, 1997

9

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

E. G. Beltrametti (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

PDF, 12.57 MB

0 / 0

english, 1997

10

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Springer Netherlands

Johan van Benthem (auth.), Maarten de Rijke (eds.)

ปี:

1993

ภาษา:

english

ไฟล์:

PDF, 7.81 MB

0 / 0

english, 1993

11

Quantifiers: Logics, Models and Computation: Volume Two: Contributions

Quantifiers: Logics, Models and Computation: Volume Two: Contributions

Springer Netherlands

Johan van Benthem (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)

ปี:

1995

ภาษา:

english

ไฟล์:

PDF, 7.37 MB

0 / 0

english, 1995

12

Resource-Sensitivity, Binding and Anaphora

Resource-Sensitivity, Binding and Anaphora

Springer Netherlands

Johan van Benthem (auth.), Geert-Jan M. Kruijff, Richard T. Oehrle (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 10.13 MB

0 / 0

english, 2003

13

Situations, Language and Logic

Situations, Language and Logic

Springer Netherlands

Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem (auth.)

ปี:

1987

ภาษา:

english

ไฟล์:

PDF, 10.72 MB

0 / 0

english, 1987

14

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

DJVU, 6.51 MB

0 / 0

english, 1989

15

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 4.88 MB

0 / 0

english, 2011

16

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 3.11 MB

0 / 0

english, 2009

17

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

PDF, 14.20 MB

0 / 0

english, 1989

18

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 5.41 MB

0 / 0

english, 2011

19

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 4.26 MB

0 / 0

english, 2009

20

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 7.86 MB

0 / 0

english, 2000